Resource-Bounded Kolmogorov Complexity Revisited
نویسندگان
چکیده
We take a fresh look at CD complexity, where CD t (x) is the smallest program that distinguishes x from all other strings in time t(jxj). We also look at a CND complexity, a new nondeterministic variant of CD complexity. We show several results relating time-bounded C, CD and CND complexity and their applications to a variety of questions in computational complexity theory including: Showing how to approximate the size of a set using CD complexity avoiding the random string needed by Sipser. Also we give a new simpler proof of Sipser's lemma. A proof of the Valiant-Vazirani lemma directly from Sipser's earlier CD lemma. A relativized lower bound for CND complexity. Exact characterizations of equivalences between C, CD and CND complexity. Showing that a satisfying assignment can be found in output polynomial time if and only if a unique assignment can be found quickly. This answers an open question of Papadimitriou. A new Kolmogorov-based proof that BPP p 2. New Kolmogorov-based constructions of the following relativized worlds: { There exists an innnite set in P with no sparse innnite NP subsets. { EXP = NEXP but there exists a NEXP machine whose accepting paths cannot be found in exponential time. { Satisfying assignment cannot be found with nonadaptive queries to SAT.
منابع مشابه
The pervasive reach of resource-bounded Kolmogorov complexity in computational complexity theory
We continue an investigation into resource-bounded Kolmogorov complexity [ABK06], which highlights the close connections between circuit complexity and Levin’s time-bounded Kolmogorov complexity measure Kt (and other measures with a similar flavor), and also exploits derandomization techniques to provide new insights regarding Kolmogorov complexity. The Kolmogorov measures that have been introd...
متن کاملNL-printable sets and nondeterministic Kolmogorov complexity
P-printable sets were defined by Hartmanis and Yesha and have been investigated by several researchers. The analogous notion of Lprintable sets was defined by Fortnow et al; both P-printability and L-printability were shown to be related to notions of resource-bounded Kolmogorov complexity. NL-printability was defined by Jenner and Kirsig, but some basic questions regarding this notion were lef...
متن کاملOn Innnite Sequences (almost) as Easy As
It is known that innnite binary sequences of constant Kolmogorov complexity are exactly the recursive ones. Such a kind of statement no longer holds in the presence of resource bounds. Contrary to what intuition might suggest, there are sequences of constant, polynomial-time bounded Kolmogorov complexity that are not polynomial-time computable. This motivates the study of several resource-bound...
متن کاملKolmogorov-Loveland Sets and Advice Complexity Classes
Loveland complexity Loveland (1969) is a variant of Kolmogorov complexity, where it is asked to output separately the bits of the desired string, instead of the string itself. Similarly to the resource-bounded Kolmogorov sets we define Loveland sets. We highlight a structural connection between resource-bounded Loveland sets and some advice complexity classes. This structural connection enables...
متن کاملResource bounded symmetry of information revisited
The information contained in a string x about a string y is the difference between the Kolmogorov complexity of y and the conditional Kolmogorov complexity of y given x, i.e., I(x : y) = C(y) − C(y |x). The Kolmogorov–Levin Theorem says that I(x : y) is symmetric up to a small additive term. We investigate if this property also holds for several versions of polynomial time bounded Kolmogorov co...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- SIAM J. Comput.
دوره 31 شماره
صفحات -
تاریخ انتشار 1997